Monin, Jean-Francois: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Understanding Formal Methods || Deduction Systems

Monin, Jean-François, Hinchey, Michael G.

Year:

2003

Language:

english

File:

PDF, 3.80 MB

english, 2003

2

Understanding Formal Methods || Hoare Logic

Monin, Jean-François, Hinchey, Michael G.

Year:

2003

Language:

english

File:

PDF, 1.07 MB

english, 2003

3

Understanding Formal Methods || Introductory Exercise

Monin, Jean-François, Hinchey, Michael G.

Year:

2003

Language:

english

File:

PDF, 2.18 MB

english, 2003

4

Understanding Formal Methods || Classical Logic

Monin, Jean-François, Hinchey, Michael G.

Year:

2003

Language:

english

File:

PDF, 2.12 MB

english, 2003

5

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Formal Verification of Netlog Protocols

Chen, Meixian, Monin, Jean-Francois

Year:

2012

Language:

english

File:

PDF, 267 KB

english, 2012

6

120 Superiority of CT scan over transthoracic echocardiography in predicting aortic regurgitation after TAVI

Alexandre Bensaid, Romain Gallet, Emilie Fougeres, Pascal Lim, Julien Nahum, Laurent Macron, Xavier Troussier, Jean-Francois Deux, Emmanuel Teiger, Pascal Guéret, Jean-Luc Dubois-Randé, Jean-Luc Monin

Journal:

Archives of Cardiovascular Diseases Supplements

Year:

2011

Language:

english

File:

PDF, 74 KB

english, 2011

7

Understanding Formal Methods || Using Type Theory

Monin, Jean-François, Hinchey, Michael G.

Year:

2003

Language:

english

File:

PDF, 2.28 MB

english, 2003

8

Understanding Formal Methods || A Presentation of Logical Tools

Monin, Jean-François, Hinchey, Michael G.

Year:

2003

Language:

english

File:

PDF, 3.53 MB

english, 2003

9

Understanding Formal Methods ||

Monin, Jean-François, Hinchey, Michael G.

Year:

2003

Language:

english

File:

PDF, 28.44 MB

english, 2003

10

[IEEE 2017 IEEE Real-Time Systems Symposium (RTSS) - Paris (2017.12.5-2017.12.8)] 2017 IEEE Real-Time Systems Symposium (RTSS) - Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets

Guo, Xiaojie, Quinton, Sophie, Fradet, Pascal, Monin, Jean-Francois

Year:

2017

Language:

english

File:

PDF, 155 KB

english, 2017

11

[IEEE 2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Montreal, QC, Canada (2019.4.16-2019.4.18)] 2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - CertiCAN: A Tool for the Coq Certification of CAN Analysis Results

Fradet, Pascal, Guo, Xiaojie, Monin, Jean-Francois, Quinton, Sophie

Year:

2019

File:

PDF, 41 KB

2019

12

Understanding Formal Methods || Abstract Data Types, Algebraic Specification

Monin, Jean-François, Hinchey, Michael G.

Year:

2003

Language:

english

File:

PDF, 1.45 MB

english, 2003

13

Understanding Formal Methods || Motivation

Monin, Jean-François, Hinchey, Michael G.

Year:

2003

Language:

english

File:

PDF, 1.67 MB

english, 2003

14

Understanding Formal Methods || Set-theoretic Specifications

Monin, Jean-François, Hinchey, Michael G.

Year:

2003

Language:

english

File:

PDF, 1.66 MB

english, 2003

15

Patients without prolonged QRS after TAVI with CoreValve device do not experience high-degree atrio-ventricular block

Mouillet, Gauthier, Lellouche, Nicolas, Lim, Pascal, Meguro, Kentaro, Yamamoto, Masanori, Deux, Jean-François, Monin, Jean-Luc, Bergoënd, Eric, Dubois-Randé, Jean-Luc, Teiger, Emmanuel

Journal:

Catheterization and Cardiovascular Interventions

Year:

2013

Language:

english

File:

PDF, 200 KB

english, 2013

16

Understanding Formal Methods || Set Theory

Monin, Jean-François, Hinchey, Michael G.

Year:

2003

Language:

english

File:

PDF, 1.50 MB

english, 2003

17

A Compared Study of Two Correctness Proofs for the Standardized Algorithm of ABR Conformance

Béatrice Bérard, Laurent Fribourg, Francis Klay, Jean-François Monin

Journal:

Formal Methods in System Design

Year:

2003

Language:

english

File:

PDF, 202 KB

english, 2003

18

[IEEE 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Tianjin, China (2009.07.29-2009.07.31)] 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering - Verifying Self-stabilizing Population Protocols with Coq

Deng, Yuxin, Monin, Jean-François

Year:

2009

Language:

english

File:

PDF, 195 KB

english, 2009

19

Modeling, Optimization, and Verification for Complex Systems

Luo, Guiming, Song, Xiaoyu, Yang, Xiaojing, Thulasiraman, Krishnaiyan, Monin, Jean-François, Yang, Guowu

Journal:

Mathematical Problems in Engineering

Year:

2016

Language:

english

File:

PDF, 1.81 MB

english, 2016

20

Understanding Formal Methods || Behavioral Specifications

Monin, Jean-François, Hinchey, Michael G.

Year:

2003

Language:

english

File:

PDF, 2.60 MB

english, 2003

21

Exceptions considered harmless

Jean-François Monin

Journal:

Science of Computer Programming

Year:

1996

Language:

english

File:

PDF, 1.17 MB

english, 1996

22

Pathologies du sommeil et contrôle aérien. Un exemple de réhabilitation

Dubourdieu, Dominique, Hornez, Anne-Pia, Monin, Jonathan, Manen, Olivier, Bisconte, Sébastien, Oliviez, Jean-François, Coste, Sébastien, Roul, Guy, Bertran, Pierre-Étienne, Perrier, Eric

Journal:

Médecine du Sommeil

Year:

2015

Language:

french

File:

PDF, 56 KB

french, 2015

23

Understanding Formal Methods || Type Systems and Constructive Logics

Monin, Jean-François, Hinchey, Michael G.

Year:

2003

Language:

english

File:

PDF, 2.97 MB

english, 2003

24

[ACM Press the 26th International Conference - Chasseneuil-du-Poitou, France (2018.10.10-2018.10.12)] Proceedings of the 26th International Conference on Real-Time Networks and Systems - RTNS '18 - A Generalized Digraph Model for Expressing Dependencies

Fradet, Pascal, Guo, Xiaojie, Monin, Jean-François, Quinton, Sophie

Year:

2018

Language:

english

File:

PDF, 790 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски